You have chosen Properties and Predicates, A Problem about Substitutional Quantification? and Properties and Predicates.
All three must be different; choose another text.